deterministic automation

детерминированный автомат

Англо-русский словарь по компьютерной безопасности. . 2011.

Смотреть что такое "deterministic automation" в других словарях:

  • Automation and Remote Control — ( ru. Автоматика и Телемеханика, Avtomatika i telemekhanika, ISSN 0005 1179) a Russian periodical, publication of MAIK Nauka/Interperiodica Press distributed in English exclusively by Springer Science. ISSN 0005 1179 (Print), ISSN 1608 3032… …   Wikipedia

  • Finite & Deterministic Discrete Event System Specification — FD DEVS (Finite Deterministic Discrete Event System Specification) is a formalism for modeling and analyzing discrete event dynamic systems in both simulation and verification ways. FD DEVS also provides modular and hierarchical modeling features …   Wikipedia

  • DEVS — abbreviating Discrete Event System Specification is a modular and hierarchical formalism for modeling and analyzing general systems that can be discrete event systems which might be described by state transition tables, and continuous state… …   Wikipedia

  • Finite-state machine — State machine redirects here. For infinite state machines, see State transition system. For fault tolerance methodology, see State machine replication. SFSM redirects here. For the Italian railway company, see Circumvesuviana. A finite state… …   Wikipedia

  • Self-Reconfiguring Modular Robotics — Modular self reconfiguring robotic systems or self reconfigurable modular robots are autonomous kinematic machines with variable morphology. Beyond conventional actuation, sensing and control typically found in fixed morphology robots, self… …   Wikipedia

  • Self-reconfiguring modular robot — Modular self reconfiguring robotic systems or self reconfigurable modular robots are autonomous kinematic machines with variable morphology. Beyond conventional actuation, sensing and control typically found in fixed morphology robots, self… …   Wikipedia

  • P = NP problem — The relationship between the complexity classes P and NP is an unsolved question in theoretical computer science. It is considered to be the most important problem in the field – the Clay Mathematics Institute has offered a $1 million US prize… …   Wikipedia

  • Automated Tissue Image Systems — (ATIS) are computer controlled automatic test equipment (ATE) systems classified as medical device and used as pathology laboratory tools (tissue based cancer diagnostics) to characterize a stained tissue sample embedded on a bar coded glass… …   Wikipedia

  • Virtual Orchestra — is a term used to identify a variety of different types of technology and art forms. Most commonly used to refer to orchestral simulation, either for pre recorded or live environments, it also has been used to describe other activities, such as… …   Wikipedia

  • Statistical static timing analysis — Conventional static timing analysis (STA) has been a stock analysis algorithm for the design of digital circuits over the last 30 years. However, in recent years the increased variation in semiconductor devices and interconnect has introduced a… …   Wikipedia

  • Model-based testing — is the application of Model based design for designing and optionally executing the necessary artifacts to perform software testing. Models can be used to represent the desired behavior of the System Under Test (SUT), or to represent the desired… …   Wikipedia

Книги


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.